Foundations of recursive model theory

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Category Theory Foundations for Model Management

The paper aims to demonstrate that category theory (CT) methods are appropriate in the model management context. We show that CT naturally appears on stage, when we model such basic constructs as model merge and parallel composition accurately and consistently. We present categorical constructs in a tutorial-like style by applying them to simple labeled transition systems (LTSs), and reveal new...

متن کامل

Foundations of Portfolio Theory

When I studied microeconomics forty years ago, I was first taught how optimizing firms and consumers would behave, and then taught the nature of the economic equilibrium which would result from such behavior. Let me refer to this as part one and part two of my microeconomics course. My work on portfolio theory considers how an optimizing investor would behave, whereas the work by Sharpe and Lin...

متن کامل

Foundations of Information Theory

Information has become the most precious resource of society. At the same time, there is no consensus on the meaning of the term " information, " and many researchers have considered problems of information definition. This results in a quantity of contradictions, misconceptions, and paradoxes related to the world of information. To remedy the situation, a new approach in information theory, wh...

متن کامل

Foundations of Bayesian theory

This paper states necessary and sufficient conditions for the existence, uniqueness, and updating according to Bayes’ rule, of subjective probabilities representing individuals’ beliefs. The approach is preference based, and the result is an axiomatic subjective expected utility model of Bayesian decision making under uncertainty with statedependent preferences. The theory provides foundations ...

متن کامل

Accessible categories: The foundations of categorical model theory,

[F-S] D. Fremlin and S. Shelah, Pointwise compact and stable sets of measurable functions, manuscript, 1990. [G-G-M-S] N. Ghoussoub, G. Godefroy, B. Maurey, W. Schachermayer, Some topological and geometrical structures in Banach spaces, Mem. Amer. Math. Soc, no. 378, Providence, RI, 1987. [G1 ] G. Godefroy, Parties admissibles d'un espace de Banach. Applications, Ann. Sci. Ecole Norm. Sup 4, (1...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Mathematical Logic

سال: 1978

ISSN: 0003-4843

DOI: 10.1016/0003-4843(78)90030-x